Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.toยท43mยท
Discuss: DEV
๐Ÿ“Code Metrics
Amplifying Machine Learning Attacks Through Strategic Compositions
arxiv.orgยท1d
๐ŸŽฏThreat Hunting
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท5hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
LFCS Seminar Tuesday 1st July: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Song recommendations from F# combinators
blog.ploeh.dkยท2d
๐Ÿ”—Functional Compilers
Counting with Categories (Part 3)
golem.ph.utexas.eduยท23h
ฮปLambda Formalization
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท10h
๐Ÿ”—Topological Sorting
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
The Nature of Lisp, Code Generation and Wieldable Programming Power
pankajpipada.comยท4hยท
Discuss: Hacker News, r/programming
๐Ÿ”—Lisp
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
The Interactive Handbook on Data Structures and Algorithms
cartesian.appยท1dยท
Discuss: Lobsters, Hacker News, Hacker News
๐ŸŒณTrie Structures
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
The Overlooked Power of Rails in the Age of AI
blog.codeminer42.comยท44m
๐ŸŒ€Brotli Internals
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Error Bounds
How to (Almost) solve cybersecurity once and for all
adaptive.liveยท18hยท
Discuss: Hacker News
๐Ÿ”Systems Hardening
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.comยท7h
โฌ†๏ธLambda Lifting
The Internal Inconsistency of Large Language Models
blog.kortlepel.comยท22hยท
Discuss: Hacker News
๐Ÿ’ปLocal LLMs
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.comยท13hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros